-0x7fffffff